var refresh_period = 15000; // 15 seconds

$.ajax({
	method: 'get',
	url : 'update_ext_channel.php',
	dataType : 'html',
	success: function (data)
	{
		//$('#sql').html(data);
	}
});

holdTheInterval = setInterval(function() 
	{
		$.ajax({
			method: 'get',
			url : 'update_ext_channel.php',
			dataType : 'text',
			success: function (data)
			{
				//var oldtext = $('#sql').html();
				//$('#sql').html(oldtext + data);
				//$('#sql').html(data);
			}
		});
	}, refresh_period
);